1. April 3, 2011. Pع۰بcken, Germany, March 26Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr
پدیدآورنده : / Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
2. Design and validation of computer protocols
پدیدآورنده : Holzmann, Gerard J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design ، Computer network protocols
رده :
TK
5105
.
5
.
H65D4
3. Design and validation of computer protocols /
پدیدآورنده : Gerard J. Holzmann
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer network protocols-- Design,Protocoles de réseaux d'ordinateurs
رده :
TK5105
.
5
.
H645
1991
4. Design and validation of computer protocols
پدیدآورنده : Holzmann, Gerard J.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer network protocols Design
رده :
TK
5105
.
5
.
H645
1991
5. Design and validation of computer protocols
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer network protocols- Design
6. Design and validation of computer protocols
پدیدآورنده : Gerard J. Holzmann
موضوع : Computer network protocols -- Design
۷ نسخه از این کتاب در ۷ کتابخانه موجود است.
7. Design and validation of computer protocols
پدیدآورنده : / Gerard J. Holzmann
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer engineering
رده :
TK7885
.
H7
1991
8. Design and validation of computer protocols
پدیدآورنده : Holzmann, Gerard J.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Computer network protocols- Design
رده :
TK
5105
.
5
.
H64
9. NASA Formal Methods
پدیدآورنده : / Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
10. 9, 2010. Proceedings-Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7
پدیدآورنده : / Gerard J. Holzmann (auth.), John Hatcliff, Elena Zucca (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
11. 20, 2011. Proceedings-NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18
پدیدآورنده : / K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
12. Software technology :
پدیدآورنده : edited by Mike Hinchey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : IEEE Computer Society-- History.,IEEE Computer Society.,Software engineering-- History.,COMPUTER SCIENCE/General.,Software engineering.
رده :
QA76
.
758
13. فراسوي عکاسي
پدیدآورنده : / جرارد جي. هالزمن,هالزمن,Holzmann
کتابخانه: كتابخانه آيت الله وزيری (آستان قدس رضوی ع) (یزد)
موضوع : عکاسي -- کمپوزيسيون
رده :
۷۰۱
/
۸
ه
۳۳۲
ف
14. فراسوي عکاسي
پدیدآورنده : / جرارد جي. هالزمن,هالزمن,Holzmann
کتابخانه: کتابخانه مرکزی آستان قدس رضوی (خراسان رضوی)
موضوع : عکاسي -- کمپوزيسيون
رده :
۷۰۱
/
۸
ه
۳۳۲
ف
15. فراسوي عکاسي
پدیدآورنده : جرارد جي هالزمن , ترجمه يوسف حيدري
موضوع : عکاسي - تاثيرهاي خاص عکس برداري - روشهاي رقمي
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
16. فراسوی عکاسی : پردازش تصاویر با کامپیوتر و تاریکخانه رقمی
پدیدآورنده : هالزمن ،جرارد
موضوع : ،عکس برداری - روشهای رقمی، ,،عکاسی - تاثیرهای خاص،
۹ نسخه از این کتاب در ۹ کتابخانه موجود است.
17. فراسوی عکاسی: پردازش تصاویر با کامپیوتر و تاریکخانه رقمی
پدیدآورنده : هالزمن، جرارد Holzmann, Gerard J.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : عکسبرداری -- روشهای رقمی,عکاسی -- تاثیرهای خاص
رده :
TA
۱۶۳۲
/
ه
۲
ف
۴